Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
461	Mathematical Linguistics ´s Kornai Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2002-07-09 07:49:28 Mathematical logic Axiom Mathematical proof Function Semantics Type theory Theory Formal system Set theory Logic Mathematics Science
462	Semantics of Context-Free Languages by DONALD E. KNUTH Add to Reading List Source URL: www.csee.umbc.edu Language: English - Date: 2011-05-04 17:06:19 Computing Attribute grammar Compiler construction Parsing Formal grammar Four-square cipher Classical cipher Formal languages Computer programming Software engineering
463	P¯an.ini’s Grammar and Computer Science Saroja Bhate and Subhash Kak Annals of the Bhandarkar Oriental Research Institute, vol. 72, Add to Reading List Source URL: www.ece.lsu.edu Language: English - Date: 2002-07-30 18:08:32 Grammar Predicate Semantics Language Sanskrit Proposition Modal logic Formal grammar Logic Linguistics Formal languages
464	STUDIA UNIV. BABES ¸ –BOLYAI, INFORMATICA, Volume L, Number 1, 2005 Add to Reading List Source URL: www.cs.ubbcluj.ro Language: English - Date: 2005-11-10 10:32:49 Formal methods Program logic Logic in computer science Predicate transformer semantics Formal verification Algorithm KeY Correctness Invariant Mathematics Applied mathematics Theoretical computer science
465	cognitive agent programming a semantic approach Add to Reading List Source URL: www.pst.ifi.lmu.de Language: English - Date: 2006-09-29 11:07:11 Semantics Applied mathematics Denotational semantics Philosophy of language Operational semantics Formal semantics Principle of compositionality Theoretical computer science Logic in computer science Programming language semantics
466	1 Zimmermann, Formal Semantics Add to Reading List Source URL: web.uni-frankfurt.de Language: English - Date: 2000-07-19 02:07:54 Philosophy of language Semantics Formal languages Philosophical logic Meaning Principle of compositionality Interpretation First-order logic Truth Logic Philosophy Mathematics
467	An Introduction to Binary Decision Diagrams Henrik Reif Andersen Add to Reading List Source URL: www.cs.unb.ca Language: English - Date: 2004-10-04 19:51:22 Logic Propositional calculus Semantics Algebraic logic Formal methods Tautology Canonical form Truth table Conjunctive normal form Mathematics Mathematical logic Boolean algebra
468	Structural Linguistics And Formal Semantics Jaroslav Peregrin [Travaux du Cercle Linguistique de Prague I, Benjamins, Amsterdam, 1995; Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2005-02-22 12:43:18 Philosophy of language Structuralism Semantics Philosophical logic Linguistics Structural linguistics Course in General Linguistics Ferdinand de Saussure Expression Philosophy Logic Analytic philosophy
469	PRAGMATIZATION OF SEMANTICS Jaroslav Peregrin* (The Semantics/Pragmatics Interface from Different Points of View, ed. K.Turner, Elsevier, Amsterdam, 1999, Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2005-02-22 12:43:45 Philosophy Philosophy of language Meaning Philosophical logic Analytic philosophers Rudolf Carnap Programming language Pragmatics Formal semantics Analytic philosophy Logic Semantics
470	INFERENTIALISM * draft * [removed] * Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2007-12-23 08:06:59** Semantics Philosophy of language Logical syntax Metalogic Inferential role semantics Robert Brandom Meaning Formal proof Truth Logic Philosophy Philosophical logic

UPDATE